- first-order spectra
- • спектър от първи порядък
English-Bulgarian polytechnical dictionary . 2013.
first-order spectra
Look at other dictionaries:
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
NMR spectra database — Nuclear Magnetic Resonance (NMR) spectra database is an electronic repository of information concerning NMR spectra. The repository can be stored as a complete self contained data set or as an online repository that can be accessed and searched… … Wikipedia
Chaos and Order — … Wikipedia
Descriptive complexity theory — For other uses, see Kolmogorov complexity. Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For… … Wikipedia
Descriptive complexity — is a branch of finite model theory, a subfield of computational complexity theory and mathematical logic, which seeks to characterize complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of… … Wikipedia
Fagin's theorem — is a result in descriptive complexity theory which states that the set of all properties expressible in existential second order logic is precisely the complexity class NP. It is remarkable since it is a characterization of the class NP which… … Wikipedia
Beschreibende Komplexitätstheorie — Die deskriptive Komplexitätstheorie (beschreibende Komplexitätstheorie) ist ein Teilbereich der endlichen Modelltheorie, die den Zusammenhang der Ausdrucksstärke von Logiken und Komplexitätstheorie untersucht. Während Komplexitätsklassen wie NP… … Deutsch Wikipedia
Deskriptive Komplexität — Die deskriptive Komplexitätstheorie (beschreibende Komplexitätstheorie) ist ein Teilbereich der endlichen Modelltheorie, die den Zusammenhang der Ausdrucksstärke von Logiken und Komplexitätstheorie untersucht. Während Komplexitätsklassen wie NP… … Deutsch Wikipedia
Deskriptive Komplexitätstheorie — Die deskriptive Komplexitätstheorie (beschreibende Komplexitätstheorie) ist ein Teilbereich der endlichen Modelltheorie, die den Zusammenhang der Ausdrucksstärke von Logiken und Komplexitätstheorie untersucht. Während Komplexitätsklassen wie NP… … Deutsch Wikipedia
Satz von Fagin — Der Satz von Fagin ist ein 1973 von Ronald Fagin bewiesener Satz aus der deskriptiven Komplexitätstheorie, der aussagt, dass die Menge aller mit Hilfe der existentiellen Prädikatenlogik zweiter Stufe beschreibbaren Sätze genau die… … Deutsch Wikipedia
Théorème de Fagin — Le théorème de Fagin est un résultat de théorie de la complexité des algorithmes, montrant l égalité de la classe NP (en) et de la classe des problèmes exprimables en logique du second ordre existentielle, c est à dire en logique du premier… … Wikipédia en Français
